\begin{tabbing}
Reffect{-}T($x_{1}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es\_realizer\_ind(\=$x_{1}$;\+
\\[0ex]$\cdot$;
\\[0ex]${\it left}$,${\it right}$,${\it rec}_{1}$,${\it rec}_{2}$.$\cdot$;
\\[0ex]${\it loc}$,$T$,$x$,$v$.$\cdot$;
\\[0ex]${\it loc}$,$T$,$x$,$L$.$\cdot$;
\\[0ex]${\it lnk}$,${\it tag}$,$L$.$\cdot$;
\\[0ex]${\it loc}$,${\it ds}$,${\it knd}$,$T$,$x$,$f$.$T$;
\\[0ex]${\it ds}$,${\it knd}$,$T$,$l$,${\it dt}$,$g$.$\cdot$;
\\[0ex]${\it loc}$,${\it ds}$,$a$,$p$,$P$.$\cdot$;
\\[0ex]${\it loc}$,$k$,$L$.$\cdot$;
\\[0ex]${\it loc}$,$k$,$L$.$\cdot$;
\\[0ex]${\it loc}$,$x$,$L$.$\cdot$)
\-
\end{tabbing}